退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用描述逻辑保持UmL模型之间的一致性
Ragnhild Van; Der Straeten; Tom Mens; Jocelyn Simmonds;
机译:使用描述逻辑维护UML模型之间的一致性
机译:基于描述逻辑的本体概念模型一致性检查
机译:使用描述逻辑进行时空UML建模和验证
机译:使用描述逻辑在UML模型之间保持一致性
机译:对有关工程设计产品的不断发展的信息进行建模:一种结合了描述逻辑和面向对象的建模的以对象为中心的方法。
机译:表达性描述逻辑的可用性-UMLS中的案例研究。
机译:使用描述逻辑维护UmL模型之间的一致性
机译:从行为描述创建和验证电子设计的结构逻辑模型的方法和系统,包括逻辑和时序模型的生成
机译:保持控制逻辑一致性的建筑控制系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。